bitkeeper revision 1.1643 (429f4488tj590Fmn5s5Gd_pv8fLXeg)
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Thu, 2 Jun 2005 17:40:24 +0000 (17:40 +0000)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Thu, 2 Jun 2005 17:40:24 +0000 (17:40 +0000)
commita12ff66914dd33f093f526e6d99f88b15a7ea6ab
tree36ab61426635a4ed60d432c70827c29906a50a1f
parentbf6fe7ee2ef5c1a2e1b16e8548e7b94b356430c8
bitkeeper revision 1.1643 (429f4488tj590Fmn5s5Gd_pv8fLXeg)

The merge of PAE support introduced the intpte_t type and PRIpte format
specifier.  Most of the shadow mode code was fixed, but debugging
printks were not; this broke the compile if shadow mode debugging was
enabled.

The attached patch should fix the problem.  Not tested with PAE enabled,
but it shouldn't make anything worse than it already is.

Signed-off-by: Michael Vrable <mvrable@cs.ucsd.edu>
xen/arch/x86/shadow.c
xen/include/asm-x86/shadow.h